Wolfram Pohlers：在 Z-Library 上搜索

募捐 9月15日2024 – 10月1日2024 关于筹款

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

书籍 (16)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Proof theory: the first step into impredicativity

Proof theory: the first step into impredicativity

Springer-Verlag Berlin Heidelberg

Pohlers, Wolfram

年:

2009

语言:

english

文件:

PDF, 2.31 MB

0 / 0

english, 2009

2

Mathematische Grundlagen der Informatik

Mathematische Grundlagen der Informatik

De Gruyter Oldenbourg

Wolfram Pohlers

年:

2020

语言:

german

文件:

PDF, 47.15 MB

0 / 0

german, 2020

3

An introduction to mathematical logic

An introduction to mathematical logic

Wolfram Pohlers (author), Thomas Glaß (editor)

语言:

english

文件:

PDF, 982 KB

0 / 0

english

4

Logic Colloquium ’02: Lecture Notes in Logic 27

Logic Colloquium ’02: Lecture Notes in Logic 27

A K Peters/CRC Press

Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers

年:

2006

语言:

english

文件:

PDF, 124.64 MB

0 / 0

english, 2006

5

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

语言:

english

文件:

PDF, 4.85 MB

0 / 0

english

6

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

年:

2008

语言:

english

文件:

PDF, 3.42 MB

0 / 0

english, 2008

7

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002

A K Peters/CRC Press;A.K.Peters

Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers (eds.)

年:

2006

语言:

english

文件:

DJVU, 3.57 MB

0 / 0

english, 2006

8

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

年:

2008

语言:

english

文件:

PDF, 3.43 MB

0 / 0

english, 2008

9

Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27

A K Peters/CRC Press

Chatzidakis, Zoe ́Maria, Koepke, Peter, Pohlers, Wolfram (eds.)

年:

2006

语言:

english

文件:

DJVU, 3.57 MB

0 / 0

english, 2006

10

Proof Theory

Proof Theory

Springer Science & Business Media

Wolfram Pohlers

年:

1989

语言:

English

文件:

PDF, 45.92 MB

0 / 0

English, 1989

11

Lineare Algebra [Lecture notes]

Lineare Algebra [Lecture notes]

Wolfram Pohlers

年:

1998

语言:

german

文件:

PDF, 1.07 MB

0 / 0

german, 1998

12

Proof Theory: An Introduction

Proof Theory: An Introduction

Springer-Verlag Berlin Heidelberg

Wolfram Pohlers

年:

1989

语言:

english

文件:

PDF, 9.81 MB

0 / 0

english, 1989

13

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Springer-Verlag Berlin Heidelberg

Wolfram Pohlers (auth.)

年:

2009

语言:

english

文件:

PDF, 4.21 MB

0 / 0

english, 2009

14

Proof Theory: The First Step into Impredicativity

Proof Theory: The First Step into Impredicativity

Wolfram Pohlers

年:

2008

语言:

english

文件:

PDF, 3.82 MB

0 / 0

english, 2008

15

Proof Theory. An Introduction

Proof Theory. An Introduction

Wolfram Pohlers, Pohlers

年:

1989

语言:

english

文件:

DJVU, 1.55 MB

0 / 0

english, 1989

16

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Springer-Verlag Berlin Heidelberg

Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.)

年:

1981

语言:

english

文件:

PDF, 5.26 MB

0 / 0

english, 1981